//
// Pager sizing
// --------------------------------------------------


// Large
.pager-lg {
  .pager-size(@padding-large-vertical; @padding-large-horizontal; @font-size-large; @border-radius-large);
}

// Small
.pager-sm {
  .pager-size(@padding-small-vertical; @padding-small-horizontal; @font-size-small; @border-radius-small);
}

